Restore support for hp800 (removed 2007-01-27) following clarification
authorGlenn Morris <rgm@gnu.org>
Fri, 23 Mar 2007 02:56:27 +0000 (02:56 +0000)
committerGlenn Morris <rgm@gnu.org>
Fri, 23 Mar 2007 02:56:27 +0000 (02:56 +0000)
commitf28e15c6fc3b55d3fa6c5e2cbb66c7d6d23a3cac
tree513873fd8e162df425405a49c21e15f8b495eb68
parent80616ed3bfa9b453b917976a91c5f85cfc40a4e7
Restore support for hp800 (removed 2007-01-27) following clarification
of legal status.
configure.in